1. Computation, proof, machine :
پدیدآورنده : Gilles Dowek, French Institute for Research in Computer Science and Automation (INRIA) ; translated from the French by Pierre Guillot and Marion Roman
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics-- History,Mathematics-- History-- 20th century,Mathematics, Ancient
2. Higher-order algebra, logic, and term rewriting : second International Workshop, HOA'95, Paderborn, Germany, September 21-22, 1995 : selected papers
پدیدآورنده : Gilles Dowek ... ]et al.[, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Algebra,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1074
3. Introduction to the Theory of Programming Languages
پدیدآورنده : / vyفJacques L-Gilles Dowek, Jean
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
4. Introduction to the theory of programming languages
پدیدآورنده : Gilles Dowek, Jean-Jacques Laevy,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Programming languages )Electronic computers(,Programming languages )Electronic computers(^aSemantics
رده :
QA
.
D6813
76
.
7
2011
5. Introduction to the theory of programming languages, Introduction ?a la thaeorie des langages de programmation.English
پدیدآورنده : Dowek, Gilles., Gilles Dowek, Jean-Jacques Laevy
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Programming languages )Electronic computers(,، Programming languages )Electronic computers(, Semantics
رده :
QA
76
.
7
.
D6813
2011
6. Le temps des algorithmes
پدیدآورنده : Serge Abiteboul et Gilles Dowek.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : [Ouvrages généraux]
7. Les métamorphoses du calcul :
پدیدآورنده : Gilles Dowek.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
8. Proofs and Algorithms
پدیدآورنده : / Gilles Dowek
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
9. Proofs and Algorithms : Introduction to Logic and Computability Theory
پدیدآورنده : Dowek, Gilles
کتابخانه: (طهران)
موضوع : ، Computer logic,، Logic, Symbolic and mathematical,، Proof theory,، Algorithms
رده :
QA
76
.
9
.
L36D68
10. Proofs and Algorithms: an introduction to logic and computability
پدیدآورنده : Dowek, Gilles
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Computer logic,، Proof theory,، Algorithms
رده :
QA
9
.
D68
2011
11. Proofs and algorithms
پدیدآورنده : Gilles Dowek
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع : Logic, Symbolic and mathematical,Algorithms
رده :
QA
9
.
D66P7
2011
12. Proofs and algorithms: An introduction to logic and computability
پدیدآورنده : / Gilles Dowek (auth.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
13. Proofs and algorithms an introduction to logic and computability
پدیدآورنده : Dowek, Gilles., Gilles Dowek
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Logic, Symbolic and mathematical,، Algorithms
رده :
QA
76
.
P7
D6
2011
14. Rewriting and Typed Lambda Calculi
پدیدآورنده : / Gilles Dowek
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
